- lambda-based description
- Макаров: описание на языке лямбда-характеристик
Универсальный англо-русский словарь. Академик.ру. 2011.
lambda-based description
Смотреть что такое "lambda-based description" в других словарях:
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
Lambda-CDM model — Physical cosmology Universe · Big Bang … Wikipedia
Flow-based programming — In computer science, flow based programming (FBP) is a programming paradigm that defines applications as networks of black box processes, which exchange data across predefined connections by message passing. These black box processes can be… … Wikipedia
Region-based memory management — In computer science, region based memory management is a type of memory management in which each allocated object is assigned to a region. A region, also called a zone, arena, or memory context, is a collection of allocated objects that can be… … Wikipedia
History of string theory — 1943 1958: S Matrix String theory is an outgrowth of a research program begun by Werner Heisenberg in 1943, picked up and advocated by many prominent theorists starting in the late 1950s and throughout the 1960s, which was discarded and… … Wikipedia
Bell's theorem — is a theorem that shows that the predictions of quantum mechanics (QM) are not intuitive, and touches upon fundamental philosophical issues that relate to modern physics. It is the most famous legacy of the late physicist John S. Bell. Bell s… … Wikipedia
Introduction to quantum mechanics — This article is an accessible, non technical introduction to the subject. For the main encyclopedia article, see Quantum mechanics. Quantum mechanics … Wikipedia
Stars and planetary systems in fiction — The planetary systems of stars other than the Sun and the Solar System are a staple element in much science fiction. Contents 1 Overview 1.1 The brightest stars … Wikipedia
List of important publications in computer science — This is a list of important publications in computer science, organized by field. Some reasons why a particular publication might be regarded as important: Topic creator – A publication that created a new topic Breakthrough – A publication that… … Wikipedia
Cnoidal wave — US Army bombers flying over near periodic swell in shallow water, close to the Panama coast (1933). The sharp crests and very flat troughs are characteristic for cnoidal waves. In fluid dynamics, a cnoidal wave is a nonlinear and exact periodic… … Wikipedia
Kalman filter — Roles of the variables in the Kalman filter. (Larger image here) In statistics, the Kalman filter is a mathematical method named after Rudolf E. Kálmán. Its purpose is to use measurements observed over time, containing noise (random variations)… … Wikipedia
